Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

Declared Inria International Partners

• S. Conchon, A. Mebsout and F. Zaïdi (VALS group, LRI) collaborate with S. Krstic and A. Goel (Intel Strategic Cad Labs in Hillsboro, OR, USA), in particular around the development of the SMT-based model checker Cubicle (see above). This collaboration is partly supported by an academic grant by Intel.